Journal of Applied Logic
Journal of Applied Logic > 2016 > 17 > C > 14-24
Journal of Applied Logic > 2016 > 17 > C > 48-58
Journal of Applied Logic > 2016 > 17 > C > 25-35
Journal of Applied Logic > 2016 > 17 > C > 4-13
Journal of Applied Logic > 2016 > 17 > C > 36-47